- методы подстановки
- (напр. подвыражений в выражения) reduction methods
Русско-английский исловарь по машиностроению и автоматизации производства.
Русско-английский исловарь по машиностроению и автоматизации производства.
Методы интегрирования — Точное нахождение первообразной (или интеграла) произвольных функций дело гораздо более сложное, чем дифференцирование, то есть нахождение производной. Зачастую выразить интеграл в элементарных функциях невозможно. Содержание 1… … Википедия
МЕТОДЫ ИССЛЕДОВАНИЯ ПРИЧИННЫХ СВЯЗЕЙ — логич. методы установления причин явлений или вытекающих из них следствий. Простейшими М. и. п. с. являются методы изучения эмпирич. причинных связей, известные под названием методов Бэкона – Милля (или индуктивных методов Милля, или методов… … Философская энциклопедия
Принцип подстановки Барбары Лисков — (англ. Liskov Substitution Principle, LSP) в объектно ориентированном программировании является специфичным определением подтипа предложенным Барбарой Лисков в 1987 году на конференции в основном докладе под названием Абстракция данных и… … Википедия
Принцип подстановки Лисков — Принцип подстановки Барбары Лисков (англ. Liskov Substitution Principle, LSP) в объектно ориентированном программировании является специфичным определением подтипа предложенным Барбарой Лисков в 1987 году на конференции в основном докладе… … Википедия
МАТРИЧНЫЕ МЕТОДЫ — в оптике использование матриц для описания поведения параксиальных (с малыми углами наклонов) световых пучков в оптич. системах с круговой симметрией, включающих элементы из однородной либо линзоподобной среды с плоскими или сферическими… … Физическая энциклопедия
ФУНКЦИОНАЛЬНОЕ УРАВНЕНИЕ — методы решения методы нахождения точных или приближенных решений функциональных конкретных или абстрактных уравнений, т. е. уравнений вида где Р(х) нек рый, вообще говоря, нелинейный оператор, переводящий элементы пространства Xтипа . (или… … Математическая энциклопедия
НЕОПРЕДЕЛЕННОСТЕЙ РАСКРЫТИЕ — методы вычисления пределов функций, заданных формулами, к рые в результате формальной подстановки в них предельных значений аргумента теряют смысл, т. е. переходят в выражения типа по к рым нельзя судить о том, существуют или нет искомые пределы … Математическая энциклопедия
ошибка — 01.02.47 ошибка (цифровые данные) [error <digital data>](1)4): Результат сбора, хранения, обработки и передачи данных, при котором бит или биты принимают несоответствующие значения, либо в потоке данных недостает битов. 4)Терминологические… … Словарь-справочник терминов нормативно-технической документации
Логика — (греч. logike̅́) наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л … Большая советская энциклопедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
Шифр Цезаря — Шифр Цезаря, также известный как шифр сдвига, код Цезаря или сдвиг Цезаря один из самых простых и наиболее широко известных методов шифрования. Шифр Цезаря это вид шифра подстановки, в котором каждый симво … Википедия